Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings
Gavanelli, Marco; Reppy, John
details >>
|
Springer Verlag,
LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9585, No. 1, Anno: 2016 |
|
|
AI*IA 2015 Advances in Artificial Intelligence
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio
details >>
|
Springer International Publishing,
LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9336, No. 1, Anno: 2015 |
|
|
The ICLP 2013 Doctoral Consortium
Gavanelli, Marco; Martin, Gebser
details >>
|
CAMBRIDGE UNIVERSITY PRESS,
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Anno: 2013 |
|
|
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion"
Gavanelli, Marco; Toni, Mancini
details >>
|
IOS Press,
AI COMMUNICATIONS
Vol. 25, No. 2, Anno: 2012 |
|
|
RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Gavanelli, Marco; T., Mancini
details >>
|
IOS Press,
FUNDAMENTA INFORMATICAE
Anno: 2010 |
|
|
Special Issue on the Italian Conference on Computational Logic: CILC 2009
Gavanelli, Marco; Riguzzi, Fabrizio; Alberto, Pettorossi
details >>
|
IOS Press,
FUNDAMENTA INFORMATICAE
Vol. 105, No. 1-2, Anno: 2010 |
|
|
RCRA 05: giornata di lavoro su analisi sperimentale e benchmark di algoritmi per l'intelligenza artificiale
M., Cadoli; Gavanelli, Marco; T., Mancini
|
Associazione Italiana per L'intelligenza Artificiale,
Anno: 2005 |
|